Yale

Results: 8900



#Item
381

Linear-Time Encodable and Decodable Error-Correcting Codes Daniel A. Spielman∗. Abstract We present a new class of asymptotically good, linear error-correcting codes. These

Add to Reading List

Source URL: www.cs.yale.edu

- Date: 2009-11-14 20:37:13
    382

    On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning? Xinyu Feng Rodrigo Ferreira

    Add to Reading List

    Source URL: flint.cs.yale.edu

    - Date: 2007-01-06 22:42:31
      383

      Compilation JIT des termes de preuve Quentin CARBONNEAUX Encadré par Mathieu BOESPFLUG et Olivier HERMANT 1er septembre 2012 – Le contexte général Devant le besoin croissant d’interopérabilité entre les différe

      Add to Reading List

      Source URL: www.cs.yale.edu

      - Date: 2013-02-20 21:40:01
        384

        Abstract Practical and Deployable Secure Multi-Party Computation Debayan Gupta 2016

        Add to Reading List

        Source URL: cs-www.cs.yale.edu

        - Date: 2016-05-21 13:43:02
          385

          Biography Dr. Angang Hu was born on April 27, 1953 in Anshan City, Liaoning Province. Dr. Hu was Ph.D. in Engineering, Chinese Academy of Sciences, 1988. He did post – doctoral study at Department of Economic, Yale Uni

          Add to Reading List

          Source URL: www.idep.eco.usi.ch

          - Date: 2012-01-13 11:56:26
            386

             &RS\ULJKW/DZRIWKH3HRSOH V5HSXEOLFRI&KLQD  :LNLVRXUFHWKHIUHHRQOLQHOLEUDU\ &RS\ULJKW/DZRIWKH3HRSOH

            Add to Reading List

            Source URL: zoo.cs.yale.edu

            - Date: 2013-10-01 20:46:24
              387

              How to Find Meaning and Money in Your Work By Billy Parish I left Yale during the fall semester of my junior year fully intending to come back. Seven years later, even though I was technically still “on leave,” I arr

              Add to Reading List

              Source URL: www.foundationforglobalinspiration.org

              - Date: 2015-08-30 16:25:26
                388

                Towards a Theory of Networked Computation Joan Feigenbaum Michael Mitzenmacher

                Add to Reading List

                Source URL: www.cs.yale.edu

                - Date: 2009-07-20 13:14:01
                  389

                  Study  Sheet  for  Exam  2,  CPSC  ,  Fall  2011       Exam  2  will  be  based  on  the  material  covered  in  class  between  October  11,

                  Add to Reading List

                  Source URL: zoo.cs.yale.edu

                  - Date: 2011-11-22 23:21:02
                    390

                    CPSCECON, Fall 2011, Exam 2 Answer all of the questions. Please remember to write your name, the course number, and today’s date on all blue books that you submit. This is a closed-book exam; please

                    Add to Reading List

                    Source URL: zoo.cs.yale.edu

                    - Date: 2011-12-22 14:05:18
                      UPDATE